1. ......................
Author: edited by R. Parikh
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
453
2. Future pasts
Author: / edited by Juliet Floyd, Sanford Shieh
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Analysis (Philosophy)
Classification :
B
,
808
.
5
,.
F88
,
2001
3. Logic Colloquium
Author: / edited by R. Parikh
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical -- Congresses
Classification :
QA
9
.
S9
1973
4. Logic Colloquium : Symposium on Logic held at Boston, 1977-1973
Author: edited by R. Parikh
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
Vol
.
453
5. Logic colloquium; symposium on logic held at Boston, 1972-73
Author: / edited by R. Parikh
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, Symbolic and mathematical - Congresses
Classification :
510
.
8
L471
No
.
453
6. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
Author: edited by Rohit Parikh
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
193
7. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer programs-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
76
.
6
.
L5855
1985
8. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
Author: edited by Rohit Parikh
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L4
v
.
193
9. Proof, computation and agency :
Author: edited by Johan van Benthem, Amitabha Gupta and Rohit Parikh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
10. Readings in Formal Epistemology :
Author: edited by Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Philosophy.,Game theory.,Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Mathematical theory of computation.,Mathematics-- Game Theory.,Mathematics-- Logic.,Philosophy-- Epistemology.,Philosophy.,Philosophy: epistemology & theory of knowledge.
Classification :
BD143-237
